COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	PAPERS, PAMPHLETS ON SHELF left side
C00017 ENDMK
C⊗;
PAPERS, PAMPHLETS ON SHELF left side

U.S.Air Force Office of Scientific Research, PROGRAM AREAS FOR RESEARCH 
  FUNDING

Alpert, Jack, FUTURE IMAGING SKILLS AND SUSTAINABLE SOCIETIES

American Physical Society, REVIEW OF MODERN PHYSICS.  Nuclear Energy.
  Light Water Reactor Safety.  Summer 1975.

Archer, Rowland F., REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL
  STRUCTURES.  MIT, Lab for Computer Sciences, September, l980.

Barendregt and Longo, RECURSION THEORETIC OPERATORS AND MORPHISMS ON
  NUMBERED SETS, MIT, 1981

Baskett, Bechtolsheim, Nowicki, and Seamons, THE SUN WORKSTATION

Ben-Ari, Halpern, Pnueli, DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC:
  FINITE MODELS, COMPLEXITY, AND COMPLETENESS, 1981, MIT

Bentley et al, TWO PAPERS ON COMPUTATIONAL GEOMETRY.  C-M U.  March 1980

Berliner, Hans, SOME OBSERVATIONS ON PROBLEM SOLVING.  C-M U.  April l980

Boley, Harold, FIVE VIEWS OF FIT PROGRAMMING.  Fachbereich Informatik

Boyd, David M., LABOR, MATERIALS AND ENERGY PAYBACK FOR ELEVEN ENERGY
  PRODUCTION TECHNOLOGIES.  Mitre Corp., May l980.

Bower, David, J.R. LUCAS, KURT GODEL, AND FRED ASTAIRE.  St. Cloud State U.
  January 1981.

Boyer & Moore, A VERIFICATION CONDITION GENERATOR FOR FORTRAN
  SRI, June l980.

Brillhart, John, NOTE ON REPRESENTING A PRIME AS A SUM OF TWO SQUARES

Broy, Partsch, Peppr, Wirsing, SEMANTIC RELATIONS IN PROGRAMMING LANGUAGES

Carlin and Campbell, POLYMORPHISM IN SUBDIVIDED POPULATIONS

Carroll and Thomas, METAPHOR AND THE COGNITIVE REPRESENTATION OF COMPUTING
  SYSTEMS.  IBM, May 1980

Cohen, Benjamin, UNDERSTANDING NATURAL KINDS: PART 1.  Xerox, Palo Alto, 1981

Cohen, Donald, KNOWLEDGE BASED THEOREM PROVING AND LEARNING, C-M U. April l980

Colmerauer, Alain, AN INTERESTING SUBSET OF NATRUAL LANGUAGE, Aix, 1977

Colmerauer, Alain, PROLOG AND THE INFINITE TREES.  Aix, 1980

Couquaux, FRENCH PREDICATION AND LINGUISTIC THEORY.  Marseilles

Creary, Lewis G., CAUSAL EXPLANATION AND THE REALITY OF NATURAL COMPONENT FORCES

de Bruijn, N. G., A SURVEY OF THE PROJECT AUTOMATH

Dedijer, S.  TOWARDS OF THEORY OF SOCIAL INTELLIGENCE BY WAY OF BIOLOGICAL,
  ARTIFICIAL, AND GOVERNMENTAL INTELLIGENCE.  Lund U., April 1981

Dickens and Rockowitz, REPORT ON LARGE SCALE ACADEMIC COMPUTING, Task Force
  on Computing at Stanford, 1981.  SLAC.  CIT Text Network

Doyle, Jon, NON-MONOTONIC LOGICS AND MECHANIZED NON-DEDUCTIVE REASONING
  Draft, Stanford, 1981.

Papers on ENERGY STATEMENT. April 1981.  SE2

Farinas del Cerro, Luis, DEDUCTION AUTOMATIQUE ET LOGIQUE MODALE, U. of Paris, 1981

Firdman MANUSCRIPT.  January 1981.

Green, Cordell, THE APPLICATION OF THEOREM PROVING TO QUESTION-ANSWERING SYSTEMS

Hart, H.A.L., ASCRIPTION OF RESPONSIBILITY AND RIGHTS

Hoover Institution, June 1980.  ENERGY ALTERNATIVES

Feather, Martin, FORMAL SPECIFICATION OF A REAL SYSTEM.USC/ISI, July l980

Feng Yu-lin, PROGRAMMING LOGIC AND PROGRAM CORRECTNESS PROOF.  Tang student.

Fischer, Meyer, Paterson, LOWER BOUNDS ON LENGTH OF BOOLEAN FORMULAS

Goldin, S. and Thorndyke, P., IMPROVING TEMA PERFORMANCE:  PROCEEDINGS OF THE
  RAMD TEAM PERFORMANCE WORKSHOP.  R-2606-ONR, August 1980.

Goldman and Wile, A DATABASE FOUNDATION FOR PROCESS SPECIFICATIONS

Goodwin and Hein, ARTIFICIAL INTELLIGENCE AND THE STUDY OF LANGUAGE, 1980
  Linkoping University, Sweden

Goguen, J. A.  HOW TO PROVE ALGEBRAIC INDUCTIVE HYPOTHESES WITHOUT INDUCTION.
  SRI, January 1980.

Goguen and Meseguer, COMPLETENESS OF MANY SORTED EQUATIONAL LOGIC.  SRI,
  
Hayes-Roth,Klahr, & Mostow, KNOWLEDGE ACQUISITION, KNOWLEDGE PROGRAMMING, AND
  KNOWLEDGE REFINEMENT.NSF, May 1980

Herman, Martin, UNDERSTANDING BODY POSTURES OF HUMAN STICK FIGURES.  U. of
  Maryland, November 1979.

ICASE, Semi-annual Report, 1980

IIASA CONFERENCE '80 REVIEW AND OUTLOOK.  HANDLER

Ingemarsson and Wong, A USER AUTHENTICATION SCHEME FOR SHARED DATA BASED ON A 
  TRAP DOOR ONE WAY.  IBM, May 1980

Jackson and Shuet, TIME AND SPACE PROPERTIES OF SOME B-TREE VARIANTS

Jefferson, David, DTYPE REDUCTION AND PROGRAM VERIFICATION. C-M U.  April 1980

Kahneman & Twersky, ON THE PSYCHOLOGY OF PREDICTION. Psychological Review,
  July l973

Kamorowski, H. Jan, QLOG - THE SOFTWARE FOR PROLOG AND LOGIC PROGRAMMING
  Sweden, April l980

Kelley, John A.D., THE CONFINES OF COSMOPOLITAN JUSTICE, Stanford Journal
  of International Law, 1980
  
Kovsky, Robert, ENGINEER'S GUIDE TO LEGAL MATERIALS
                A DEVICE FOR "DATA STRUCTURES"
                DATA STRUCTURES IN LEGAL MATERIALS, Parts I and II

Kreisel, Georg, NEGLECTED POSSIBILITIES OF PROCESSING ASSERTIONS AND PROOFS
  MECHANICALLY:  CHOICE OF PROBLEMS AND DATA.  1980

Knuth, Donald E., DECIPERING A LINEAR CONGRUENTIAL ENCRYPTION, 1980. ONR

Lenat, Douglas, BEINGS: REPRESENTATION OF KNOWLEDGE AS INTERACTING MODULES, 1974

Lieberman and Hewitt, A REAL TIME GARBAGE COLLECTOR

Martin-Lof, Per, CONSTRUCTIVE MATHEMATICS AND COMPUTER PROGRAMMING.  U. of
  Stockholm, August 1979

Mayr, Ernst, AN EFFECTIVE REPRESENTATION OF THE REACHABILITY SET OF PERSISTENT
  PETRI NETS, 1981, MIT

McCarthy, Feigenbaum, and Samuel, PROPOSAL FOR CONTINUATION OF THE STANFORD
  ARTIFICIAL INTELLIGENCE PROJECT

McCarthy, John, EFFECTIVE INTERACTIVE USE OF LARGE CHARACTER SETS

McCarthy, John, BASIC RESEARCH IN ARTIFICIAL INTELLIGENCE AND FOUNDATIONS
  OF PROGRAMMING.  AIM 337, Stanford, California.  September l980

McDermott, D., NON-MONOTONIC LOGIC II:  NON-MONOTONIC MODAL TTHEORIES
  CSD Yale U., Feb. l980

Meseguer, Jose, VARIETIES OF CHAIN-COMPLETE ALGEBRAS.  U. of California, 1981
 
Meyer, Streett, and Mirkowska, THE DEDUCIBILITY PROBLEM IN PROPOSITIONAL
  DYNAMIC LOGIC, 1981, MIT

Miller & Zraket, NEAR-TERM RESPONSE TTO AN OIL CUTOFF: SOLAR AND OTHER

Mitre Corp., ANALYSIS OF NATIONAL ENERGY PLANS.  Nov. l979

Mitre Corp., TOWARD A NATIONAL PLAN FOR THE ACCELERATED COMMERCIALIZATION
  OF SOLAR ENERGY.  JAN. 1980

Moriconi and Schwartz, AUTOMATIC CONSTRUCTION OF VERIFICATION CONDITION
  GENERATORS FROM HOARE LOGICS.  SRI, April 1981.

Moszkowski, Ben, TEMPORAL LOGIC FOR DIGITAL CIRCUITS.  March 1981

Moynihan, Daniel, JOINING THE JACKALS, THE U.S. AT THE UN 1977-1980

National Research Council, OUTLOOK FOR SCIENCE AND TECHNOLOGY: THE NEXT FIVE
  YEARS.  April 1981.

Newell, Allen, THE KNOWLEDGE LEVEL.  Carnegie-Mellon U., January 1981.

Newell, Allen,  PHYSICAL SYMBOL SYSTEMS.  C-M U.  March 1980

North Holland computer publications survey, 1980

Pamphlets, NUCLEAR ENERGY.  May 1981.

Oppen, Derek, PRETTY PRINTING (given to clt, 3-9-8l)

Owicki and Lamport, PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS.
  Stanford U., October 1980

Parikh, Rohit, PROPOSITIONAL DYNAMIC LOGICS OF PROGRAMS:  A SURVEY, 1981, MIT

Pavelle & Wester, COMPUTER PROGRAMS FOR RESEARCH IN GRAVITATION AND
  DIFFERENTIAL GEOMETRY.  MIT, Lab for Computer Science, June l980

Pereira, Luis M., MAQUINAS HUMANAS, U. of Lisboa, 1980


Pereira and Porto, SELECTIVE BACKTRACKING INTERPRETER, July 1981

Redko, SEMANTICS (Russian)

Rochester, University of, COMPUTER SCIENCE ENGINEERING RESEARCH REVIEW, 1981

Rozycki, E. G., THE FUNCTIONAL ANALYSIS OF BEHAVIOR.  1975

Rosenfeld, Azriel, IMAGE PATTERN RECOGNITION. U. of Maryland, January l980.

Roth, Frederick, MATCHING AND ABSTRACTION IN KNOWLEDGE SYSTEMS.  Rand Corp.,
  Jan. 1980

Samet, Hanan, NEIGHBOR FINDING TECHNIUES FOR IMAGES REPRESENTED BY QUADTREES
  U. of Maryland, January, l980.

Sato, Masahiko, THEORY OF SYMBOLIC EXPRESSIONS.  U. of Tokyo, September 1980

Sato and Hagiya, HYPERLISP

Seaquist, Carl, A SEMANTICS OF SSYNCHRONIZATION.  Lab for CS, MIT.  Setp. l980

Shapiro, Ehud, INDUCTIVE INFERENCE OF THEORIES FROM FACTS.  Yale U., Feb. 1981

Shaw, Mary, THE IMPACT OF ABSTRACTION CONCERNS ON MODERN PROGRAMMING LANGUAGES.
  C-M U., April 1980

Smith et al, A VERIFIED ENCRYPTED PACKET INTERFACE.  U. of Texas, April 1981.
  for Workshop on Program Verification.

Stanford Computer Forum, BOOKLET OF VIEWGRAPHS 1981

Steele, Guy, A CHARACTER STANDARD OF LISP (Revision 5), Carnegie-Mellon U.
  April 1981

Svobodova, Liba, MANAGEMENT OF OBJECT HISTORIES IN THE SWALLOW REPOSITORY.
  MIT, Lab for Computer Science, July, l980.

Sweeney, J.L., ENERGY POLICY ISSUES FOR THE EIGHTIES. Energy Modeling Forum,
  Stanford University, April 1980

Schwind, Camilla, A COMPLETENESS PROOF FOR A LOGIC OF ACTIONS, Marseilles, 1980

Takahashi, Hideyuki, AN AUTOMATIC CONTROLLER DESCRIPTION LANGUAGE,Nihon U., 1980

Tichy, Walter, SOFTWARE DEVELOPMENT CONTROL BASED ON SYSTEM STRUCTURE DESCRIPTION.
  C-M U.  January 1980

Tarski, Alfred, A SIMPLIFIED FORMALIZATION OF PREDICATE LOGIC WITH IDENTITY.
  Berkeley

Vauquois, B., ASPECTS OF MECHANICAL TRANSLATION IN 1979.  U. of Grenoble,
  July l979

Walker, Adrian, ON RETRIEVAL FROM A SMALL VERSION OF A LARGE DATA BASE.
  Bell Laboratories.  October 1980.

Weihl, William, INTERPROCEDURAL DATA FLOW ANALYSIS IN THE PRESENCE OF POINTERS....

Wesson, R., F, Hayes-Roth.  NETWORK STRUCTURES FOR DISTRIBUTED SITUATION
  ASSESSMENT.  Report for DARPA.  August 1980

Williams, George M., THE OPACITY OF REAL CONSPIRACIES

Xerox Palo Alto Research Center, Abstracts of Recent Research, Cognitive and
  Instructional Sciences.  Spring 1981
  
Yannakakis and Papadimitriou, ALGEBRAIC DEPENDENCIES, MIT

Zraket & Scholl, SOLAR ENERGY SYSTEMS AND RESOURCES. MITRE CORP.